An Approach to Probabilistic Symmetry Reduction

نویسندگان

  • Christopher Power
  • Alice Miller
چکیده

We present a technique for the automated detection of potential structural and data symmetries from a probabilistic specification language. This approach involves the construction of an extended static channel diagram, a graphical representation of channel-based communication and global variable accesses from a specification defined in our custom made language SPS. This graph is used to compute potential symmetries whose validity is verified against the probabilistic specification. Unlike previous approaches this method can detect arbitrary structural and data symmetries.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Loss Reduction in a Probabilistic Approach for Optimal Planning of Renewable Resources

Clean and sustainable renewable energy technology is going to take responsibility of energy supply in electrical power systems. Using renewable sources improve the environment and reduce dependence on oil and other fossil fuels. In distribution power system, utilizing of wind and solar DGs comprises some advantages; consist of loss and emission reduction, and also improvement of voltage profile...

متن کامل

Probabilistic symmetry reduction

Model checking is a technique used for the formal verification of concurrent systems. A major hindrance to model checking is the so-called state space explosion problem where the number of states in a model grows exponentially as variables are added. This means even trivial systems can require millions of states to define and are often too large to feasibly verify. Fortunately, models often exh...

متن کامل

Symmetry Reduction for Probabilistic Model Checking

We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stochastic characteristics. We target systems with a set of non-trivial, but interchangeable, components such as those which commonly arise in randomised distributed algorithms or probabilistic communication protocols. We s...

متن کامل

Probabilistic Symmetry Reduction for a System with Ring Buffer

Probabilistic model checking is an emerging technology for analyzing systems which exhibit stochastic behaviors. The verification of a larger system using probabilistic model checking faces the same state explosion problem as ordinary model checking. Probabilistic symmetry reduction is a technique to tackle this problem. In this paper, we study probabilistic symmetry reduction for a system with...

متن کامل

Reduction of Differential Equations by Lie Algebra of Symmetries

The paper is devoted to an application of Lie group theory to differential equations. The basic infinitesimal method for calculating symmetry group is presented, and used to determine general symmetry group of some differential equations. We include a number of important applications including integration of ordinary differential equations and finding some solutions of partial differential equa...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010